| 翻訳と辞書 |
| Michael Shulman (mathematician) ： ウィキペディア英語版 |
Michael Shulman (mathematician)
Michael Shulman (1980) is an American mathematician at the University of San Diego who works in category theory and higher category theory, homotopy theory, logic as applied to set theory, and computer science. He did his undergraduate work at the California Institute of Technology and his postgraduate work at the University of Cambridge and the University of Chicago, where he received his Ph.D. in 2009.
==Work==
Shulman's doctoral thesis and subsequent work dealt with applications of category theory to homotopy theory. In 2009 he received a National Science Foundation Mathematical Sciences Postdoctoral Research Fellowship.〔(Michael Shulman page at the Institute for Advanced Study School of Mathematics )〕
From September 2012 to April 2013 he was a visiting scholar at the Institute for Advanced Study〔(Institute for Advanced Study: A Community of Scholars )〕 where he was one of the official participants in the ''Special Year on Univalent Foundations of Mathematics''.〔(IAS school of mathematics: Univalent Foundations of Mathematics )〕 Along with fellow researchers such as Andrej Bauer and Steve Awodey, Shulman was one of the principal authors of the book ''Homotopy type theory: Univalent foundations of mathematics'',〔(Contributors to the HoTT book at GitHub )〕 which summarized much of the work of the Special Year and has become a benchmark in the new field of homotopy type theory.〔(''n''-Category Café, Summary of The HoTT Book, by Mike Shulman, June 20, 2013 )〕 In 2014 Shulman was part of a team headed by Steve Awodey that was awarded a $7.5M grant from the Air Force Research Laboratory for homotopy type theory.〔(Carnegie Mellon News: Carnegie Mellon Awarded $7.5 Million Department of Defense Grant To Reshape Mathematics ) April 28, 2014〕
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Michael Shulman (mathematician)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|